| 翻訳と辞書 |
| Rabbit Model Checker ： ウィキペディア英語版 |
Rabbit Model Checker
Rabbit is a model checking tool for real-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides reachability analysis and refinement checking, both implemented using the data structure BDD. Good variable orderings for the BDDs are computed from the modular structure of the model and an estimate of the BDD size. This leads to a significant performance improvement.
==References==
* Dirk Beyer, Claus Lewerentz, and Andreas Noack. Rabbit: A Tool for BDD-based Verification of Real-Time Systems. In W. A. Hunt and F. Somenzi, editors, ''Proceedings of the 15th International Conference on Computer Aided Verification (CAV 2003)'', LNCS 2725, pages 122–125, 2003. Springer-Verlag, Berlin.
抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』
■ウィキペディアで「Rabbit Model Checker」の詳細全文を読む
スポンサード リンク
| 翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|